对概念的概括和限制，正确的有（）。

• A、战争”限制为“革命战争”
• B、“单独概念”概括为“概念”
• C、大熊猫”限制为“可爱的大熊猫”
• D、“汽车”限制为“汽车轮子”
• E、“出租汽车公司”限制为“出租汽车司机”

一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现（）而结论假的情形。

桌子上有4只杯子，每只杯子上写着一句话，第一只杯子：“所有的杯子中都有水果糖”；第二只杯子：“本杯中有苹果”；第三只杯子：“本杯中没有巧克力”；第四只杯子：“有些杯子中没有水果糖”。如果其中只有一句真话，那么为真的是（）。

• A、所有的杯子中都有水果糖
• B、所有的杯子中都没有水果糖
• C、第二只杯子中有苹果
• D、第三只杯子中有巧克力